The equations are also deduced with handwork in order to verify the validity of the procedure with artificial intelligence . crosscheck show even classic document by mack have also fatal error in equation and boundary condition 为了确认lesliem . mack经典文献(参考文献[ 1 ] )给出的公式有错,又与人工推导的公式进行对比,以此证明机器推理的可靠。